module A {
  umbrella "A" module * { export * }
}
module B {
  umbrella "B" module * { export * }
}
module C {
  umbrella "C" module * { export * }
}
